/*
 * locals.h
 *
 *  Created on: Jul 22, 2012
 *      Author: baris
 */

#ifndef SATURATION_LOCALS_H_
#define SATURATION_LOCALS_H_

#include <Judy.h>

#include "../model/datatypes.h"

int scheduled_axiom_count;
SubClassAxiom** scheduled_axioms;

Pvoid_t processed_axioms;


#endif /* LOCALS_H_ */
